Prolog Super-Computer Garbage Disposal

- When the state saving interpreter has finished with a variable it will never use again (part of a finished solution), it forgets it.
- The parallel computation interpreter should estimate and back up the memory it uses, and queue processes accordingly.
- Regularly back up of states will allow resuming the program from where it ran out of memory, with clear memory.

- A web console gives details about queued processes and memory allocation.

- The state saving interpreter allows more extensive programs to run on smaller systems, including simulations (perhaps requiring optimisation and a different supercomputer) and many processes (including web applications) to be simultaneously run on the server.
- Break programs into smaller programs, to avoid memory problems.
- More processors and memory may be necessary if the state saving interpreter needs them, to speed performance or increase capacity.